-
1 basic predicate
Большой англо-русский и русско-английский словарь > basic predicate
-
2 basic predicate
Математика: базисный предикат -
3 basic predicate
-
4 basic predicate
The New English-Russian Dictionary of Radio-electronics > basic predicate
-
5 basic predicate
predykat podstawowy -
6 basic predicate
predykat podstawowyEnglish-Polish dictionary of Electronics and Computer Science > basic predicate
-
7 basic predicate
мат. -
8 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
9 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
10 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
11 predicate language
-
12 predicate logic language
English-Russian big polytechnic dictionary > predicate logic language
-
13 базисный предикат
Русско-английский словарь по электронике > базисный предикат
-
14 базисный предикат
Русско-английский словарь по радиоэлектронике > базисный предикат
-
15 predykat podstawowy
• basic predicateSłownik polsko-angielski z Elektroniki i Informatyki > predykat podstawowy
-
16 predykat podstawowy
• basic predicateSłownik polsko-angielski dla inżynierów > predykat podstawowy
-
17 базисный предикат
basic predicate мат.Русско-английский научно-технический словарь Масловского > базисный предикат
-
18 базисный предикат
Большой англо-русский и русско-английский словарь > базисный предикат
-
19 базисный предикат
Mathematics: basic predicate -
20 ὑπάρχω
ὑπάρχω impf. ὑπῆρχον; fut. ὑπάρξω LXX; 1 aor. 3 sg. ὑπῆρξεν (Hom.+) the basic idea: come into being fr. an originating point and so take place; gener. ‘inhere, be there’.① to really be there, exist, be present, be at one’s disposal (Pind., Aeschyl., Hdt.+) μηδενὸς αἰτίου ὑπάρχοντος since there is no good reason Ac 19:40. Cp. 27:21; 28:18; be somewhere 4:34; 10:12; 17:27; Phil 3:20; 1 Cl 61:2; EpilMosq 3 (TestAbr A p. 5, 23 [Stone p. 12] ἐν τῆ σκηνῇ; Just., A I, 29, 1 ἐν σώματι). ἀκούω σχίσματα ἐν ὑμῖν ὑπάρχειν I hear that there are actually divisions among you 1 Co 11:18. εἷς Χριστὸς Ἰησοῦς καὶ ἄλλος οὐκ ὑπάρχει there is only one Christ Jesus and no other AcPl Ha 1, 18. σιγῆς ὑπαρχούσης 7, 25 (s. σιγή). W. dat. of pers. ὑπάρχει μοί τι someth. is at my disposal, I have someth. (X., An. 2, 2, 11; PMagd 9, 2 [III B.C.] ὑπάρχει ἐμοὶ Ἰσιεῖον; Sir 20:16; Jos., Ant. 7, 148) χρυσίον οὐχ ὑπάρχει μοι Ac 3:6. Cp. 4:37; 28:7; 2 Pt 1:8. τὰ ὑπάρχοντά τινι what belongs to someone, someone’s property, possessions, means (SIG 646, 25 [170 B.C.]; very oft. in pap since PHib 94, 2; 15; 95, 12 [III B.C.]; Tob 4:7; TestAbr A 8 p. 86, 7 [Stone p. 20]; Jos., Ant. 4, 261) Lk 8:3; 12:15; Ac 4:32. Subst. in the same sense τὰ ὑπάρχοντά τινος (SIG 611, 14; very oft. in pap since PHib 32, 5; 84, 9; PEleph 2, 3 [III B.C.]; Gen 31:18; Sir 41:1; Tob 1:20 BA; TestAbr A 4 p. 81, 28 [Stone p. 10]) Mt 19:21; 24:47; 25:14; Lk 11:21; 12:33, 44; 14:33; 16:1; 19:8; 1 Cor 13:3; Hb 10:34.② to be in a state or circumstance, be as a widely used substitute in H. Gk. for εἶναι, but in some of the foll. pass. the sense ‘be inherently (so)’ or ‘be really’ cannot be excluded (s. 1; cp. IG XIV, 2014, 3 ἄνθρωπος ὑπάρχων=‘being mortal’) (B-D-F §414, 1; s. Rob. 1121) w. a predicate noun (OGI 383, 48 [I B.C.] ὅπως οὗτος … ὑπάρχῃ καθιδρυμένος; TestAbr A 4 p. 80, 26 [Stone p. 8] ἐνδοξότερος ὑπάρχει βασιλέων; ibid. B 2 p. 105, 9 [St. p. 58] ὑπῆρχεν … γηραλέος πάνυ τῇ ἰδέᾳ; JosAs 7:11 cod. A [p. 48, 12 Bat.] εἰ θυγάτηρ ὑμῶν ἐστι καὶ παρθένος ὑπάρχει … ; SibOr 3, 267, Fgm. 1, 28; Ar. 13, 6; Just., A I, 4, 1; Tat. 60, 2) οὗτος ἄρχων τῆς συναγωγῆς ὑπῆρχεν Lk 8:41. ἐγὼ λειτουργὸς ὑπάρχω τοῦ θεοῦ I am a minister of God GJs 23:1. Cp. Lk 9:48; Ac 7:55; 8:16; 16:3; 19:31 D (w. φίλος and dat., the standard form, s. ins Larfeld I 500); 36; 21:20; 1 Cor 7:26; 12:22; Js 2:15; 2 Pt 3:11; 1 Cl 19:3 and oft.; MPol 6:2. Very freq. in the ptc. w. a predicate noun who is, since he is, etc. (TestSim 4:4 ἐλεήμων ὑπάρχων; Just., A II, 2, 10; Tat. 2, 2; Mel., P. 54, 396) οἱ Φαρισαῖοι φιλάργυροι ὑπάρχοντες Lk 16:14. Cp. 11:13 (v.l. ὄντες); 23:50; Ac 2:30; 3:2; 16:20, 37; 17:24, 29; 22:3; 27:12; Ro 4:19; 1 Cor 11:7; 2 Cor 8:17; 12:16; Gal 1:14; 2:14; 2 Pt 2:19; 1 Cl 1:1; 11:1, 2; 25:2; B 5:10.—ὑπ. w. a prep.: ἐν (Jer 4:14; Philo, Leg. All. 1, 62; Jos., Ant. 7, 391; Just., D. 69, 7 ἐν λώβῃ τινὶ σώματος ὑπάρχων): οἱ ἐν ἱματισμῷ ἐνδόξῳ ὑπάρχοντες Lk 7:25; cp. 16:23; Ac 5:4; 14:9 D; Phil 2:6; 1 Cl 1:3; 32:2; 56:1. τοῦτο πρὸς τῆς ὑμετέρας σωτηρίας ὑπάρχει Ac 27:34 (s. πρός 1).—Schmidt, Syn. II 538–41. DELG s.v. ἄρχω p. 121. M-M. Sv.
- 1
- 2
См. также в других словарях:
predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus … Universalium
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
Hard-core predicate — In cryptography, a hard core predicate of a one way function f is a predicate b (i.e., a function whose output is a single bit) which is easy to compute given x but is hard to compute given f(x) . In formal terms, there is no probabilistic… … Wikipedia
List of basic topics in logic — For a more comprehensive list, see the List of logic topics. Logic, a branch of both philosophy and mathematics, is the study of criteria for the evaluation of arguments. The task of the logician is to advance an account of valid and fallacious… … Wikipedia
subject-predicate — | ̷ ̷ ̷ ̷| ̷ ̷ ̷ ̷ ̷ ̷ adjective 1. : of, relating to, characterized by, or taking the form of analysis into subjects and predicates analogous to the basic grammatical structure of the Indo European languages subject predicate logical structure 2 … Useful english dictionary
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
Aristotle’s logic and metaphysics — Alan Code PART 1: LOGICAL WORKS OVERVIEW OF ARISTOTLE’S LOGIC The Aristotelian logical works are referred to collectively using the Greek term ‘Organon’. This is a reflection of the idea that logic is a tool or instrument of, though not… … History of philosophy
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Leibniz: truth, knowledge and metaphysics — Nicholas Jolley Leibniz is in important respects the exception among the great philosophers of the seventeenth century. The major thinkers of the period characteristically proclaim the need to reject the philosophical tradition; in their… … History of philosophy